621. Logic programming and nonmonotonic reasoning : 7th international conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004 : proceedings
پدیدآورنده: Vladimir Lifschitz, Ilkka Niemela )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Logic programming,Congresses ، Nonmonotonic reasoning
رده :
QA
76
.
L28
Vol
.
2923
622. Logic programming and nonmonotonic reasoning : 6th international conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001 : proceedings
پدیدآورنده: Thomas Eiter, Wolfgang Faber, Miroslaw Truszczynski )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Logic programming,Congresses ، Nonmonotonic reasoning
رده :
QA
76
.
L28
Vol
.
2173
623. Logic programming in action: Second international Logic programming summer school, LPSS'92: proceedings
پدیدآورنده: G. Comyn, N.E. Fuchs, M. Ratcliffe )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
636
624. Logic programming in action; Second international logic programming Summer School, LPSS'92, Zurich, Switzerland, September 7-11, 1992: Proceedings
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Logic programming-- Congresses
رده :
QA
76
.
63
.
L66
1992
625. Logic programming '88: proceedings of the 7th conference, Tokyo, Japan, April 11-14, 1988
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Logic programming-- Congresses
رده :
QA
76
.
63
.
L63
1989
626. Logic programming '85 : proceedings of the 4th conference, Tokyo, Japan, July 1-3, 1985
پدیدآورنده: edited by Eiiti Wada
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: Congresses ، Logic programming
رده :
QA
76
.
L4
v
.
221
627. Logic programming '87 : proceedings of the 6th conference, Tokyo, Japan, June 22-24, 1987
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Logic programming-- Congresses
رده :
QA
76
.
6
.
L58762
1988
628. Logic programming : 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005 : proceedings
پدیدآورنده: Maurizio Gabbrielli, Gopal Gupta )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
3668
629. Logic programming: 21st international conference, ICLP 2005, Sitges, Spain, October 2-5, 2005: proceedings
پدیدآورنده: Maurizio Gabbrielli, Gopal Gupta )eds.(
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: Congresses ، Logic programming,Congrغs ، Programmation logique,، Logisch programmeren,، Programmation logique
رده :
QA
76
.
63
.
I563
2005
630. Logic programming : 18th International Conference, ICLP 2002, Copenhagen, Denmark, July 29 - August 1, 2002 : proceedings
پدیدآورنده: Peter J. Stuckey )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
2401
631. Logic programming : 19th International Conference, ICLP 2003, Mumbai, India, December 9-13, 2003 : proceedings
پدیدآورنده: Catuscia Palamidessi )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
2916
632. Logic programming: 19th International Conference, ICLP 2003, Mumbai, India, December 9-13, 2003: proceedings
پدیدآورنده: Catuscia palamidessi, ]ed.[
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Congresses ، Logic programming
رده :
QA
76
.
63
.
I55
2003
633. Logic programming : 17th International Conference, ICLP 2001, Paphos, Cyprus, November 26-December 1, 2001 : proceedings
پدیدآورنده: Philippe Codognet )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
2237
634. Logic programming : 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004 : proceedings
پدیدآورنده: Bart Demoen, Vladimir Lifschitz )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
3132
635. Logic, rationality, and interaction
پدیدآورنده: Xiangdong He, John Horty, Eric Pacuit (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Logic, Congresses
رده :
BC5
.
L675
2009eb
636. Logic symposia, Hakone, 1979, 1980 : proceedings of Conference held in Hakone, Japan,March 21-24, 1979 and February 4-7, 1980
پدیدآورنده: edited by G. H. Muller, G. Takeuti, and T. Tugue
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Logic, Symbolic and mathematical
رده :
QA
3
.
L28
Vol
.
891
637. Logic sympsia, Hakone 1979, 1980: repoceedings of conference held in Hakone, Japan March 21-24, 1979 and February 4-7, 1980
پدیدآورنده: edited by G.H. Muller, G. Takeuti, and T. Tugue
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Congresses ، Logic, Symbolic and mathematical
رده :
QA
3
.
L28
no
.
891
638. Logic versus approximation : essays dedicated to Michael M. Richter on the occasion of his 65th birthday
پدیدآورنده: Wolfgang Lenski )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
3075
639. Logic year 1979-80, the University of Connecticut, U.S.A
پدیدآورنده: Edited by M. Lerman, J. H. Schmerl, and R. I. Soare
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Congresses ، Logic, Symbolic and mathematical
رده :
QA
3
.
L28
no
.
859
